$\forall$$A$, $B$:Realizer. $A$$\mid$R{-}names($B$) $\parallel$ $B$$\mid$R{-}names($A$) $\Rightarrow$ $A$ $\parallel$ $B$